1. Constraint reasoning for differential models
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constraints (Artificial intelligence) ; Differential equations. ; Interval analysis (Mathematics) ; Biophysics ; Mathematical models. ;
2. Constraint reasoning for differential models
پدیدآورنده : / Jorge Cruz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Constraints (Artificial intelligence),Differential equations,Interval analysis (Mathematics),Biophysics- Mathematical models
رده :
Q340
.
C78
2005
3. Constraint reasoning for differential models /
پدیدآورنده : Jorge Cruz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biophysics-- Mathematical models.,Constraints (Artificial intelligence),Differential equations.,Interval analysis (Mathematics),Biophysics-- Mathematical models.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Constraints (Artificial intelligence),Differential equations.,Interval analysis (Mathematics)
رده :
Q340
.
C78
2005eb
4. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
5. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
6. Mathematical methods for artificial intelligence and autonomous systems
پدیدآورنده : / Edward R. Dougherty, Charles R. Giardina
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Artificial intelligence-- Mathematics,Artificial intelligence-- Mathematical models
رده :
006
.
3015118
D732m